c
c 4-node cycle
c blue vertices cannot have blue successor
c green vertices must have blue successor
c at least one node must not be red
c
p edge 4 4
e 1 2
e 2 3
e 3 4
e 4 1
